package com.googlecode.kipler.syntax.formula;


/**
 * 
 * @author İnanç Seylan
 *
 */
public interface FormulaVisitor {

	/**
	 * Visits the given concept definition.
	 * 
	 * @param cd
	 *            The concept definition
	 */
	void visitConceptDefinition(ConceptDefinition cd);

	/**
	 * Visits the given concept assertion.
	 * 
	 * @param ca
	 *            The concept assertion
	 */
	void visitConceptAssertion(ConceptAssertion ca);

	/**
	 * TODO: update comment Visits the given role assertion.
	 * 
	 * @param ra
	 *            The role assertion
	 */
	void visitObjectRoleAssertion(ObjectRoleAssertion ra);
}
